perm filename TING.TO[P,JRA] blob
sn#126189 filedate 1974-10-22 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 hi:
C00003 ENDMK
Cā;
hi:
I'm glad you spelled "CRUDE" with the final "E". I'm generating a new
version for a class at UC Santa Cruz, and will be glad to send you a copy.
I would certainly be interested in your implementation and any comments
you might have on the current manuscript.
I am trying to get a clean extension of LISP together
(thus super lisp) which incorporates the good ideas of LISp, removes the hacks
and profits form the last few years developments in programming language
design (e.g. scott, proof techniques, simplification and verification).
An outline of this mysticism will spring forth soon.
john